ForEx: A Formal Verification Framework for Explainable Reasoning in Logical Fallacy Detection and Annotation

Current evaluations of Large Language Models (LLMs) on logical fallacy detection focus on predicted labels, but do not establish whether those labels are supported by the reasoning the models provide. We propose ForEx (Formal Verification for Explainable Reasoning), a framework that translates LLM-g…